大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Artificial Intelligence in Theory and Practice III [electronic resource] : Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Bramer、 Max.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Algebra in Scientific Computing [electronic resource] : 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings

0
索取号：
作者：Gerdt、 Vladimir P.、Koepf、 Wolfram.、Mayr、 Ernst W.、Vorozhtsov、 Evgenii V.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Introduction to Reliable and Secure Distributed Programming [electronic resource]

0
索取号：
作者：Cachin、 Christian.、Guerraoui、 Rachid.、Rodrigues、 Lu铆s.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Security and Privacy-Silver Linings in the Cloud [electronic resource] : 25th IFIP TC-11 International Information Security Conference, SEC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Rannenberg、 Kai.、Varadharajan、 Vijay.、Weber、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Theoretical Computer Science [electronic resource] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Calude、 Cristian S.、Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [electronic resource] : AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers

0
索取号：
作者：Ketter、 Wolfgang.、Poutr茅、 Han.、Sadeh、 Norman.、Shehory、 Onn.、Walsh、 William.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distributed, Parallel and Biologically Inspired Systems [electronic resource] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Hinchey、 Mike.、Kleinjohann、 Bernd.、Kleinjohann、 Lisa.、Lindsay、 Peter A.、Rammig、 Franz J.、Timmis、 Jon.、Wolf、 Marilyn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Human-Computer Interaction [electronic resource] : Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Forbrig、 Peter.、Patern贸、 Fabio.、Mark Pejtersen、 Annelise.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Cultural Computing [electronic resource] : Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Nakatsu、 Ryohei.、Tosa、 Naoko.、Naghdy、 Fazel.、Wong、 Kok Wai.、Codognet、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Science Logic [electronic resource] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings

0
索取号：
作者：Dawar、 Anuj.、Veith、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

History of Computing. Learning from the Past [electronic resource] : IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

0
索取号：
作者：Tatnall、 Arthur.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Electronic Participation [electronic resource] : Second IFIP WG 8.5 International Conference, ePart 2010, Lausanne, Switzerland, August 29 鈥ӥptember 2, 2010. Proceedings

0
索取号：
作者：Tambouris、 Efthimios.、Macintosh、 Ann.、Glassey、 Olivier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets [electronic resource] : AAMAS Workshop, AMEC 2009, Budapest, Hungary, May 12, 2009, and IJCAI Workshop, TADA 2009, Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers

0
索取号：
作者：David、 Esther.、Gerding、 Enrico.、Sarne、 David.、Shehory、 Onn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Knowledge Management and Acquisition for Smart Systems and Services [electronic resource] : 11th International Workshop, PKAW 2010, Daegue, Korea, August 20 - September 3, 2010. Proceedings

0
索取号：
作者：Kang、 Byeong-Ho.、Richards、 Debbie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Cryptographic Hardware and Embedded Systems, CHES 2010 [electronic resource] : 12th International Workshop, Santa Barbara, USA, August 17-20, 2010. Proceedings

0
索取号：
作者：Mangard、 Stefan.、Standaert、 Fran莽ois-Xavier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Structural, Syntactic, and Statistical Pattern Recognition [electronic resource] : Joint IAPR International Workshop, SSPR&SPR 2010, Cesme, Izmir, Turkey, August 18-20, 2010. Proceedings

0
索取号：
作者：Hancock、 Edwin R.、Wilson、 Richard C.、Windeatt、 Terry.、Ulusoy、 Ilkay.、Escolano、 Francisco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.